call do_softirq() to enter scheduler when VTI does PAL_HALT_LIGHT,
like xen-ia64-unstable.hg changeset:
12520:
bcd2960d6dfd018de58fc0113c37d30edbe802c5
Signed-off-by: Zhang Xin <xing.z.zhang@intel.com>
#include <asm/uaccess.h>
#include <xen/console.h>
#include <xen/hypercall.h>
+#include <xen/softirq.h>
static DEFINE_SPINLOCK(efi_time_services_lock);
case PAL_HALT_LIGHT:
if (VMX_DOMAIN(current)) {
/* Called by VTI. */
- if (!is_unmasked_irq(current))
+ if (!is_unmasked_irq(current)) {
do_sched_op_compat(SCHEDOP_block, 0);
+ do_softirq();
+ }
status = PAL_STATUS_SUCCESS;
}
break;